Nuprl Definition : doact
0,22
postcript
pdf
doact(
k
;
v
) == inr(<
k
,
v
>)
latex
FDL editor aliases
doact
origin